祝贺！电院陈海波教授荣获2022年度陈嘉庚青年科学奖

近日，陈嘉庚科学奖基金会官网发布《关于公布2022年度陈嘉庚科学奖获奖项目和陈嘉庚青年科学奖获奖人名单的公告》，授予6个项目陈嘉庚科学奖，授予6人陈嘉庚青年科学奖。电子信息与电气工程学院陈海波教授荣获2022年度陈嘉庚青年科学奖。

信息技术科学奖

高安全操作系统创新与应用

“缺芯少魂”（缺少芯片和操作系统）是“中国信息产业大而不强”主要的原因之一。陈海波长期致力于操作系统及相关领域的基础研究及其成果转化，正在为改变中国“少魂”的面貌做出重要贡献。陈海波带领团队在低时延与高可信操作系统前沿研究与产业化方面取得了一系列成果，提出了低时延操作系统的关键方法，突破工业界通用操作系统的形式化验证方法，提高了工业界操作系统的性能与安全性，破解了微内核操作系统高性能、富生态与高安全难以兼得的技术难题，推动了我国操作系统的研究与大规模产业应用。坚持科技创新同国家需求、市场需要相结合，响应国家产学研结合的号召，主持研发的自主内核是国际上首个同时兼具高信息安全（CC EAL 5+）和高功能安全（ISO 26262 ASIL-D）认证的操作系统内核，并在智能终端、服务器等多个平台部署超过数亿级）。

陈海波也积极为我国开源操作系统社区积极贡献，组建并担任了OpenHarmony社区的技术指导委员会并担任首任主席。信息科技经过七十年来的洗炼正进入爆发期，系统软件更将是这个精彩时代的核心。陈海波长期努力专注操作系统的科研，奠定了扎实的基础、产出了优质的成果，在当下和未来对于构筑国产自研高可信高性能操作系统具有重要推动作用。

获奖人简介

陈海波，上海交通大学电子信息与电气工程学院特聘教授，并行与分布式系统研究所所长，领域操作系统教育部工程研究中心主任，国家级高层次人才，ACM杰出科学家。主要研究领域为操作系统、分布式系统与系统安全，研究成果通过产学研深度结合被应用到十亿级设备，产生了广泛的学术与产业影响。曾获教育部技术发明一等奖、全国优秀博士学位论文奖、中国青年科技奖、CCF青年科学家奖等。目前担任OpenHarmony技术指导委员会首任主席、CCF系统软件专委会副主任、ACM旗舰杂志Communications of the ACM首位中国学者编委与领域共同主席。研究工作还获得了华为卓越贡献个人奖，ASPLOS、EuroSys、VEE等最佳论文奖以及DSN的十年时间检验奖。按照csrankings.org的统计，其近5年（2018-2022）在操作系统领域高水平会议（SOSP/OSDI、EuroSys、USENIX ATC和FAST）上发表的论文数居世界第一。

奖项介绍

陈嘉庚科学奖

陈嘉庚科学奖是以对我国科教事业发展做出杰出贡献的著名爱国侨领陈嘉庚先生的名字命名的科学奖励。它的前身是1988年设立的陈嘉庚奖。2003年2月，经国务院同意，中国科学院和中国银行共同出资成立陈嘉庚科学奖基金会，设立陈嘉庚科学奖。

陈嘉庚科学奖目前共设六个奖项：数理科学奖、化学科学奖、生命科学奖、地球科学奖、信息技术科学奖和技术科学奖。每两年评选一次，每个奖项每次评选一项，获奖人数一般为一人，最多不超过三人。如无符合标准的项目，可以缺项。每个奖项奖金100万元人民币，同时颁发荣誉奖章和证书。

陈嘉庚青年科学奖

2010年，考虑到国际上对青年奖的重视以及我国目前青年奖的设置数量和水平与我国科技发展现状不相适应的状况，为了激励更多的青年科技工作者献身科技事业，陈嘉庚科学奖基金会又新设立了陈嘉庚青年科学奖，奖励在中国独立做出重要原创性科学技术成果的青年科技人才（年龄在40周岁以下）。

陈嘉庚青年科学奖目前共设六个奖项：数理科学奖、化学科学奖、生命科学奖、地球科学奖、信息技术科学奖和技术科学奖。每两年评选一次，每个奖项每次评选一人。如无符合标准的人选，可以缺项。每个奖项奖金20万元人民币，同时颁发证书。

点亮“在看”，点赞电院优秀科研工作者！

来源丨软件学院

文稿丨吴明瑜

 编辑 | 张悦

责任编辑 | 张悦